Arnaud Lanoix And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 19.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001F98 | Olivier Simonin [France] ; Arnaud Lanoix [France] ; Alexis Scheuer [France] ; François Charpillet [France] | Specifying in B the Influence/Reaction Model to Study Situated MAS: Application to vehicles platooning |
| 003F03 | Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France] | Requirements for the Description of Component Assembling |
| 003F92 | Arnaud Lanoix [France] | Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles |
| 004029 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Validation technique des sous-systèmes |
| 004108 | Samuel Colin [France] ; Jean-Pierre Jacquot [France] ; Arnaud Lanoix [France] ; Atif Mashkoor [France] ; Jeanine Souquières [France] | Model for the Land Transport Domain |
| 004109 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Atif Mashkoor ; Jeanine Souquières [France] | A synthesis of existing approaches to specify non-functional properties |
| 004132 | Samuel Colin [France] ; Arnaud Lanoix [France] | An Experience with a Formal Modelling of a Multi-Agent System: the Platooning Problem |
| 004266 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France] | Développement formel par composants |
| 004289 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles Using CSP||B |
| 004509 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | Trustworthy Assembly of Components using B Refinement |
| 004875 | Arnaud Lanoix [France] ; Samuel Colin [France] ; Jeanine Souquières [France] | Schémas de développement d'adaptateurs à l'aide de B |
| 004975 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Trustworthy interface compliancy: data model adaptation using B refinement |
| 004C68 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-Based Systems |
| 004E74 | Olivier Simonin [France] ; Arnaud Lanoix [France] ; Samuel Colin [France] ; Alexis Scheuer [France] ; François Charpillet [France] | Generic Expression in B of the Influence/Reaction Model: Specifying and Verifying Situated Multi-Agent Systems |
| 004E81 | Arnaud Lanoix [France] ; Denis Hatebur [Allemagne] ; Maritta Heisel [Allemagne] ; Jeanine Souquières [France] | Enhancing Dependability of Component-based Systems |
| 005063 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | Component-based Development using the B method |
| 005078 | Inès Mouakher [Tunisie] ; Arnaud Lanoix [France] ; Jeanine Souquières [France] | Component Adaptation: Specification and Verification |
| 005123 | Arnaud Lanoix [France] ; Dieu Donné Okalas Ossami [France] ; Jeanine Souquières [France] | An Operator-based Approach to Incremental Development of Conform Protocol State Machines |
| 005822 | Arnaud Lanoix [France] ; Jeanine Souquières [France] | A Step-by-step Process to Build Conform UML Protocol State Machines |
| This area was generated with Dilib version V0.6.33. |  |